Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
2

Algebraic proof theory: Hypersequents and hypercompletions

Année:
2016
Langue:
english
Fichier:
PDF, 641 KB
english, 2016
3

Taming Paraconsistent (and Other) Logics

Année:
2014
Langue:
english
Fichier:
PDF, 711 KB
english, 2014
5

On the (fuzzy) logical content of CADIAG-2

Année:
2010
Langue:
english
Fichier:
PDF, 230 KB
english, 2010
6

Density elimination

Année:
2008
Langue:
english
Fichier:
PDF, 705 KB
english, 2008
7

MacNeille completions of FL-algebras

Année:
2011
Langue:
english
Fichier:
PDF, 291 KB
english, 2011
8

A proof-theoretical investigation of global intuitionistic (fuzzy) logic

Année:
2005
Langue:
english
Fichier:
PDF, 247 KB
english, 2005
9

Towards a Semantic Characterization of Cut-Elimination

Année:
2006
Langue:
english
Fichier:
PDF, 359 KB
english, 2006
10

Finiteness in Infinite-Valued Łukasiewicz Logic

Année:
2000
Langue:
english
Fichier:
PDF, 164 KB
english, 2000
11

First-order satisfiability in Gödel logics: An NP-complete fragment

Année:
2011
Langue:
english
Fichier:
PDF, 328 KB
english, 2011
14

Proof theory for locally finite many-valued logics: Semi-projective logics

Année:
2013
Langue:
english
Fichier:
PDF, 465 KB
english, 2013
15

Hypersequent and Display Calculi – a Unified Perspective

Année:
2014
Langue:
english
Fichier:
PDF, 444 KB
english, 2014
18

A sufficient condition for completability of partial combinatory algebras

Année:
1997
Langue:
english
Fichier:
PDF, 424 KB
english, 1997
19

Uniform proofs of standard completeness for extensions of first-order MTL

Année:
2015
Langue:
english
Fichier:
PDF, 426 KB
english, 2015
20

Proof search and Co-NP completeness for many-valued logics

Année:
2015
Langue:
english
Fichier:
PDF, 885 KB
english, 2015
21

Proof theory of witnessed Gödel logic: A negative result

Année:
2013
Langue:
english
Fichier:
PDF, 168 KB
english, 2013
24

Power and Limits of Structural Display Rules

Année:
2016
Langue:
english
Fichier:
PDF, 676 KB
english, 2016
28

Hypersequents and Systems of Rules

Année:
2018
Langue:
english
Fichier:
PDF, 553 KB
english, 2018
30

On the Concurrent Computational Content of Intermediate Logics

Année:
2020
Langue:
english
Fichier:
PDF, 1.23 MB
english, 2020
31

Preface

Année:
2013
Fichier:
PDF, 33 KB
2013